closure of relational language

关连式语言闭包